#pragma once
/// @brief Code for the Family of a cdcl solver at diversification
enum class KissatFamily
{
	SAT_STABLE = 0,
	MIXED_SWITCH = 1,
	UNSAT_FOCUSED = 2,
};